Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
311	Project Performance International http://www.ppi-int.com/newsletter/SyEN-040.php SYSTEMS ENGINEERING NEWSLETTER brought to you by Project Performance International (PPI) Add to Reading List Source URL: www.ppi-int.com Language: English Software project management Carnegie Mellon University Formal methods Software engineering Capability Maturity Model Integration Agile software development Extreme programming Software development methodology Microsoft Solutions Framework Software development Software Software development process
312	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
313	A Dynamical Systems Model for Language Change Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Grammar Compiler construction Applied linguistics Parsing Language acquisition Formal grammar L-system Syntax Poverty of the stimulus Linguistics Formal languages Language
314	A formal basis for the MC# programming language (Extended Abstract) Yury Serdyuk Program Systems Institute of Russian Academy of Sciences, Pereslavl-Zalessky, Russia Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:34:46 Process calculi Inter-process communication Actor model Microsoft Research Parallel computing Join-calculus Polyphonic C sharp Message passing Objective-C Computing Concurrent computing Computer programming
315	Safe and Reliable Metro Platform Screen Doors Control/Command Systems a 3-year story Thierry Lecomte Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:54:23 Safety Software engineering B-Method Software development process IEC 61508 Model checking Software Formal methods Software development Science
316	FastFacts Riding the Big Data Wave: Service Providers Can Accelerate Big Data Evolution To Unlock New Value Service Provider FastFacts View Cisco IBSG Service Provider FastFacts Website Add to Reading List Source URL: www.unleashingit.com Language: English - Date: 2014-06-03 12:59:36 Data management Computing Cisco Systems Deep packet inspection Videotelephony Data warehouse Big data Analytics Technology Business intelligence Formal sciences
317	What’s in a code? Towards a formal account of the relation of ontologies and coding systems (corrected version) Alan L Rector MD PhD School of Computer Science, University of Manchester, Manchester, England M13 9PL cit Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-10-05 09:46:48 Information science Semantic Web Technical communication Knowledge representation SNOMED CT Web Ontology Language Description logic Open Biomedical Ontologies Knowledge representation and reasoning Ontology Information Science
318	Call for Papers Journal of Internet Technology (http://jit.niu.edu.tw/, Indexed by SCI-E) Special Issue on “Industrial Applications of Big Data and Internet of things” Theme and Scope Add to Reading List Source URL: www.cybermatics.org Language: English - Date: 2015-03-10 05:25:20 Formal sciences Database management systems Database theory Parallel computing Internet of Things Apache Hadoop MapReduce Data mining Cloud computing Computing Concurrent computing Data management
319	Microsoft PowerPoint - Pfeffer-BigData-Print.pptm Add to Reading List Source URL: www.pfeffer.at Language: English - Date: 2013-11-08 09:35:59 Data analysis Complex systems theory Scientific modeling Self-organization Data mining Dynamic network analysis Visual analytics Social network Analytics Science Knowledge Formal sciences
320	Nonrecursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Applied mathematics Theory of computation Computability theory Formal languages Automata theory Cellular automaton Recursively enumerable set Recursively enumerable language Universal Turing machine Theoretical computer science Turing machine Computer science

UPDATE